Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
31	Microsoft Word - IBSdoc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:44:10 Theoretical computer science Mathematical logic Mathematics Logic in computer science NP-complete problems Boolean algebra Electronic design automation Algebraic logic Tseytin transformation Boolean satisfiability problem Conjunctive normal form Canonical normal form
32	Introduction & Motivation Relations and Operations Boolean and 3-element cases Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2009-08-14 00:50:42 Computational complexity theory Complexity classes Theory of computation FO PSPACE SO P EXPTIME Boolean algebra Co-NP-complete Reduction Descriptive complexity theory
33	Learning Partially Observable Action Models: Efficient Algorithms Dafna Shahaf Allen Chang Eyal Amir Computer Science Department University of Illinois, Urbana-Champaign Urbana, IL 61801, USA {dshahaf2,achang6,eyal}@uiuc Add to Reading List Source URL: www.cs.huji.ac.il Language: English - Date: 2010-08-28 23:41:19 Theoretical computer science Mathematical logic Mathematics Logic in computer science Boolean algebra Logic programming Automated planning and scheduling Formal methods Situation calculus Planning Domain Definition Language Boolean satisfiability problem Conjunctive normal form
34	Introduction to Julia David Zeng Keegan Go Stephen Boyd Add to Reading List Source URL: stanford.edu Language: English - Date: 2015-09-24 12:16:15 Data types Software engineering Boolean algebra Computing Boolean data type Computer programming Primitive data type Boolean expression Operator Boolean Relational operator C
35	Probabilistic Inference and Accuracy Guarantees Stefano Ermon CS Department, Stanford Add to Reading List Source URL: intelligence.org Language: English - Date: 2016-06-01 20:00:33 Theoretical computer science PP Quantum complexity theory Boolean algebra Mathematics Numerical software Logic in computer science Bayesian network PROPT
36	Microsoft Word - IBSAlgorithms.doc Add to Reading List Source URL: foibg.com Language: English - Date: 2015-02-02 08:45:52 Logic Mathematical logic Semantics Boolean algebra Propositional calculus Model theory Truth table Many-valued logic Interpretation Logical connective ukasiewicz logic Tautology
37	TMS SOFTWARE TMS FNC RichEditor DEVELOPERS GUIDE TMS FNC RichEditor DEVELOPERS GUIDE Add to Reading List Source URL: www.tmssoftware.biz Language: English - Date: 2016-07-12 04:44:35 Computing Software engineering Boolean algebra HTML HTML element Cascading Style Sheets Data type Boolean data type
38	Parallel Disk-Based Computation for Large, Monolithic Binary Decision Diagrams Daniel Kunkle∗ Vlad Slavici Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2010-07-26 07:30:31 Computing Diagrams Boolean algebra Mathematics Computer programming Binary decision diagram Model checking External sorting Computer cluster Depth-first search
39	Parameterized Interfaces for Open System Verification of Product Lines∗ Colin Blundell University of Pennsylvania Kathi Fisler WPI Add to Reading List Source URL: web.cs.wpi.edu Language: English - Date: 2004-10-28 09:30:27 Theoretical computer science Logic Mathematical logic Formal methods Logic in computer science Boolean algebra Hardware verification languages Model checking Temporal logic Formal verification Propositional calculus E
40	Continued Relevance of Bit-Level Verification Research R. Brayton, N. Een, A. Mishchenko Berkeley Verification and Synthesis Research Center EECS Dept., University of California, Berkeley Introduction Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2010-10-30 02:14:08 Theoretical computer science Formal methods Logic in computer science Electronic design automation NP-complete problems Boolean algebra Boolean satisfiability problem Solver Formal equivalence checking Formal verification Model checking Uclid